Buy Used and New Anil Nerode Books

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783540926863

Format: Paperback (469 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Logic for Applications (Texts in Computer Science)

by Anil Nerode,Richard A. Shore

ISBN 13: 9780387948935

Format: Illustrated (469 pages)
Publisher: Springer
Published: 01 Feb 1997

Save for later

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... Mathematics / Fondazione C.I.M.E., Firenze)

by Steven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov

ISBN 13: 9783540527343

Format: Paperback (162 pages)
Publisher: Springer
Published: 17 Jul 1990

Save for later

Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))

by Bakhadyr Khoussainov,Anil Nerode

ISBN 13: 9780817642075

Format: Hardcover (430 pages)
Publisher: Birkhauser
Published: 01 Jul 2001

Save for later

Hybrid Systems V: 1567 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Michael Lemmon,Wolf Kohn,Panos J. Antsaklis

ISBN 13: 9783540656432

Format: Paperback (445 pages)
Publisher: Springer
Published: 24 Feb 1999

Save for later

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings: 1234 (Lecture Notes in Computer Science)

by Anil Nerode,Sergei Adian

ISBN 13: 9783540630456

Format: Paperback (448 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge): 81

by J.N. Crossley,Anil Nerode

ISBN 13: 9783642859359

Format: Paperback (160 pages)
Publisher: Springer
Published: 12 Sep 2014

Save for later

Hybrid Systems: 736 (Lecture Notes in Computer Science)

by Anil Nerode,Hans Rischel,Robert L. Grossman,Anders P. Ravn

ISBN 13: 9783540573180

Format: Paperback (488 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Hybrid Systems II: 999 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Wolf Kohn,Panos Antsaklis

ISBN 13: 9783540604723

Format: Paperback (584 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings: 1265 (Lecture Notes in Computer Science)

by Anil Nerode,Ulrich Fuhrbach,J??rgen Dix

ISBN 13: 9783540632559

Format: Paperback (472 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Hybrid Systems IV: 1273 (Lecture Notes in Computer Science)

by Anil Nerode,Shankar Sastry,Wolf Kohn,Panos Antsaklis

ISBN 13: 9783540633587

Format: Paperback (424 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later